<html>
<head><meta charset="utf-8"><title>weekly meeting December 12 · t-compiler/wg-nll · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/index.html">t-compiler/wg-nll</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20December.2012.html">weekly meeting December 12</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="151524427"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20December%2012/near/151524427" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20December.2012.html#151524427">(Dec 12 2018 at 13:29)</a>:</h4>
<p>FYI <span class="user-group-mention" data-user-group-id="491">@WG-compiler-nll</span> I <strong>might</strong> not be available this evening to host the meeting. I <em>think</em> I will be, but its not 100% certain.</p>



<a name="151551578"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20December%2012/near/151551578" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20December.2012.html#151551578">(Dec 12 2018 at 18:13)</a>:</h4>
<p>I think I will be around</p>



<a name="151551594"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20December%2012/near/151551594" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20December.2012.html#151551594">(Dec 12 2018 at 18:13)</a>:</h4>
<p>still in some kind of "recovery tailspin" of doing reviews and catch up but that's ok</p>



<a name="151560474"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20December%2012/near/151560474" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20December.2012.html#151560474">(Dec 12 2018 at 20:18)</a>:</h4>
<p>I should be able to make it</p>



<a name="151560481"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20December%2012/near/151560481" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20December.2012.html#151560481">(Dec 12 2018 at 20:18)</a>:</h4>
<p>Haven't done any premeeting triage yet though (!)</p>



<a name="151560880"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20December%2012/near/151560880" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20December.2012.html#151560880">(Dec 12 2018 at 20:24)</a>:</h4>
<p>Yeah. I was thinking that one thing worth talking over is how to keep our focus and progress on soundness questions, and just how we should work those out with lang team</p>



<a name="151560906"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20December%2012/near/151560906" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20December.2012.html#151560906">(Dec 12 2018 at 20:24)</a>:</h4>
<p>it feels like we're encountering a few "question marks"</p>



<a name="151560913"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20December%2012/near/151560913" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20December.2012.html#151560913">(Dec 12 2018 at 20:24)</a>:</h4>
<p>one potentially interesting question</p>



<a name="151560924"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20December%2012/near/151560924" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20December.2012.html#151560924">(Dec 12 2018 at 20:24)</a>:</h4>
<p>is whether migration mode</p>



<a name="151560926"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20December%2012/near/151560926" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20December.2012.html#151560926">(Dec 12 2018 at 20:24)</a>:</h4>
<p>lets us make <em>new</em> soundness fixes</p>



<a name="151560937"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20December%2012/near/151560937" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20December.2012.html#151560937">(Dec 12 2018 at 20:25)</a>:</h4>
<p>wait, no</p>



<a name="151560940"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20December%2012/near/151560940" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20December.2012.html#151560940">(Dec 12 2018 at 20:25)</a>:</h4>
<p>that's bonkers.</p>



<a name="151560947"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20December%2012/near/151560947" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20December.2012.html#151560947">(Dec 12 2018 at 20:25)</a>:</h4>
<p>well e.g. the 2PB question</p>



<a name="151560954"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20December%2012/near/151560954" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20December.2012.html#151560954">(Dec 12 2018 at 20:25)</a>:</h4>
<p>it seems like that's just the usual "soundness fix policy" though</p>



<a name="151560964"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20December%2012/near/151560964" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20December.2012.html#151560964">(Dec 12 2018 at 20:25)</a>:</h4>
<p>(migration-mode only lets us make "new soundness fixes" for cases where AST-borrowck was "erroneously" accepting the code)</p>



<a name="151561023"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20December%2012/near/151561023" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20December.2012.html#151561023">(Dec 12 2018 at 20:26)</a>:</h4>
<p>(but its still interesting to consider that this <em>does</em> provide some extra flexibility  for NLL)</p>



<a name="151561047"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20December%2012/near/151561047" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20December.2012.html#151561047">(Dec 12 2018 at 20:26)</a>:</h4>
<p>I feel like there is a bit of "de facto flexibility"</p>



<a name="151561056"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20December%2012/near/151561056" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20December.2012.html#151561056">(Dec 12 2018 at 20:26)</a>:</h4>
<p>if nothing else</p>



<a name="151561061"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20December%2012/near/151561061" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20December.2012.html#151561061">(Dec 12 2018 at 20:26)</a>:</h4>
<p>by this I mean: we're already in a kind of warning period</p>



<a name="151561065"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20December%2012/near/151561065" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20December.2012.html#151561065">(Dec 12 2018 at 20:27)</a>:</h4>
<p>if we add some more things in there (e.g., the 2PB fixes)</p>



<a name="151561066"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20December%2012/near/151561066" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20December.2012.html#151561066">(Dec 12 2018 at 20:27)</a>:</h4>
<p>we certainly can always fall back on the old "soundness fix policy"</p>



<a name="151561093"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20December%2012/near/151561093" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20December.2012.html#151561093">(Dec 12 2018 at 20:27)</a>:</h4>
<p>but yes, I like to believe we've given ourselves a little bit of a runway here</p>



<a name="151561097"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20December%2012/near/151561097" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20December.2012.html#151561097">(Dec 12 2018 at 20:27)</a>:</h4>
<p>I don't feel like it will "feel" like the same sort of breakage, and it makes some sense to me to "link" the hard error times</p>



<a name="151561112"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20December%2012/near/151561112" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20December.2012.html#151561112">(Dec 12 2018 at 20:27)</a>:</h4>
<p>(but ultimately it's still really the soundness fix policy)</p>



<a name="151561230"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20December%2012/near/151561230" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> davidtwco <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20December.2012.html#151561230">(Dec 12 2018 at 20:29)</a>:</h4>
<p><span class="emoji emoji-1f44b" title="wave">:wave:</span></p>



<a name="151561338"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20December%2012/near/151561338" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20December.2012.html#151561338">(Dec 12 2018 at 20:31)</a>:</h4>
<p>first thing I want to make sure I cover tonight</p>



<a name="151561351"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20December%2012/near/151561351" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20December.2012.html#151561351">(Dec 12 2018 at 20:31)</a>:</h4>
<p><a href="https://github.com/rust-lang/rust/issues/56391" target="_blank" title="https://github.com/rust-lang/rust/issues/56391">#56391</a> is a PR that landed</p>



<a name="151561360"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20December%2012/near/151561360" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20December.2012.html#151561360">(Dec 12 2018 at 20:31)</a>:</h4>
<p>that turned off compare-mode=nll by default</p>



<a name="151561363"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20December%2012/near/151561363" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20December.2012.html#151561363">(Dec 12 2018 at 20:31)</a>:</h4>
<p>which is fine</p>



<a name="151561372"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20December%2012/near/151561372" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20December.2012.html#151561372">(Dec 12 2018 at 20:31)</a>:</h4>
<p>but all of us should be aware that this happened, and thus</p>



<a name="151561385"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20December%2012/near/151561385" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20December.2012.html#151561385">(Dec 12 2018 at 20:31)</a>:</h4>
<p>if you want to re-enable it, so that you get the same degree of testing that you had before</p>



<a name="151561437"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20December%2012/near/151561437" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20December.2012.html#151561437">(Dec 12 2018 at 20:32)</a>:</h4>
<p>switch the <code>test-compare-mode</code> option in <a href="https://github.com/rust-lang/rust/blob/dd8fc7dc06dea00afbd365468cf4804f68a3531c/config.toml.example#L406" target="_blank" title="https://github.com/rust-lang/rust/blob/dd8fc7dc06dea00afbd365468cf4804f68a3531c/config.toml.example#L406">config.toml</a> to <code>true</code></p>



<a name="151561443"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20December%2012/near/151561443" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20December.2012.html#151561443">(Dec 12 2018 at 20:32)</a>:</h4>
<p>to be clear, we're still running it, but only on one builder, right?</p>



<a name="151561444"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20December%2012/near/151561444" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20December.2012.html#151561444">(Dec 12 2018 at 20:32)</a>:</h4>
<p>in your build directory for rust</p>



<a name="151561448"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20December%2012/near/151561448" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20December.2012.html#151561448">(Dec 12 2018 at 20:32)</a>:</h4>
<p>i.e., bors still runs it</p>



<a name="151561454"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20December%2012/near/151561454" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20December.2012.html#151561454">(Dec 12 2018 at 20:32)</a>:</h4>
<p>Yes bors runs it</p>



<a name="151561455"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20December%2012/near/151561455" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20December.2012.html#151561455">(Dec 12 2018 at 20:32)</a>:</h4>
<p>(though not in your local directory)</p>



<a name="151561456"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20December%2012/near/151561456" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20December.2012.html#151561456">(Dec 12 2018 at 20:32)</a>:</h4>
<p>but when you test locally</p>



<a name="151561466"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20December%2012/near/151561466" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20December.2012.html#151561466">(Dec 12 2018 at 20:32)</a>:</h4>
<p>and you don't toggle that option, you might overlook something</p>



<a name="151561473"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20December%2012/near/151561473" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20December.2012.html#151561473">(Dec 12 2018 at 20:32)</a>:</h4>
<p>(which the CI will hopefully then catch, as long as its not target dependent)</p>



<a name="151561492"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20December%2012/near/151561492" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20December.2012.html#151561492">(Dec 12 2018 at 20:33)</a>:</h4>
<p>if you have some test that you think deserves to be run on all targets, all the time</p>



<a name="151561498"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20December%2012/near/151561498" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20December.2012.html#151561498">(Dec 12 2018 at 20:33)</a>:</h4>
<p>then you can use <code>// revisions</code></p>



<a name="151561604"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20December%2012/near/151561604" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20December.2012.html#151561604">(Dec 12 2018 at 20:34)</a>:</h4>
<p>so how should we proceed?</p>



<a name="151561621"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20December%2012/near/151561621" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20December.2012.html#151561621">(Dec 12 2018 at 20:35)</a>:</h4>
<p>um</p>



<a name="151561630"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20December%2012/near/151561630" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20December.2012.html#151561630">(Dec 12 2018 at 20:35)</a>:</h4>
<p>well, I think there's only one nominated issue</p>



<a name="151561638"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20December%2012/near/151561638" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20December.2012.html#151561638">(Dec 12 2018 at 20:35)</a>:</h4>
<p>"should <code>let _: T = RHS</code> be synonymous with <code>let _ = RHS: T</code>?" <a href="https://github.com/rust-lang/rust/issues/56715" target="_blank" title="https://github.com/rust-lang/rust/issues/56715">#56715</a></p>



<a name="151561643"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20December%2012/near/151561643" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20December.2012.html#151561643">(Dec 12 2018 at 20:35)</a>:</h4>
<p>but I regard that really as more of a T-lang question</p>



<a name="151561647"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20December%2012/near/151561647" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20December.2012.html#151561647">(Dec 12 2018 at 20:35)</a>:</h4>
<p>than an NLL one</p>



<a name="151561654"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20December%2012/near/151561654" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20December.2012.html#151561654">(Dec 12 2018 at 20:35)</a>:</h4>
<p>its just an implementation artifact that NLL is what is tripping this thing up, IMO.</p>



<a name="151561719"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20December%2012/near/151561719" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20December.2012.html#151561719">(Dec 12 2018 at 20:36)</a>:</h4>
<p>beyond that</p>



<a name="151561728"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20December%2012/near/151561728" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20December.2012.html#151561728">(Dec 12 2018 at 20:37)</a>:</h4>
<p>I don't have much to add or talk about tonight</p>



<a name="151561745"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20December%2012/near/151561745" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20December.2012.html#151561745">(Dec 12 2018 at 20:37)</a>:</h4>
<p>niko did ask this earlier: </p>
<blockquote>
<p>Yeah. I was thinking that one thing worth talking over is how to keep our focus and progress on soundness questions, and just how we should work those out with lang team</p>
</blockquote>



<a name="151561751"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20December%2012/near/151561751" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20December.2012.html#151561751">(Dec 12 2018 at 20:37)</a>:</h4>
<p>well one specific question</p>



<a name="151561762"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20December%2012/near/151561762" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20December.2012.html#151561762">(Dec 12 2018 at 20:38)</a>:</h4>
<p>what is the status of <a href="https://github.com/rust-lang/rust/issues/56254" target="_blank" title="https://github.com/rust-lang/rust/issues/56254">#56254</a>, the 2PB questions we discussed a week or two ago?</p>



<a name="151561816"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20December%2012/near/151561816" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20December.2012.html#151561816">(Dec 12 2018 at 20:38)</a>:</h4>
<p>it seemed like the consensus then was that we should do a more careful impl job</p>



<a name="151561819"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20December%2012/near/151561819" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20December.2012.html#151561819">(Dec 12 2018 at 20:38)</a>:</h4>
<p>I'm not really clear if <span class="user-mention" data-user-id="116118">@Matthew Jasper</span> is working on that (they were before)..?</p>



<a name="151561847"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20December%2012/near/151561847" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20December.2012.html#151561847">(Dec 12 2018 at 20:38)</a>:</h4>
<p>(there are some more comments on the issue though, e.g. josh tripplet discussing a desire to accept the code in question, which I partially share)</p>



<a name="151561876"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20December%2012/near/151561876" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20December.2012.html#151561876">(Dec 12 2018 at 20:39)</a>:</h4>
<p>I still haven't read Ralf's notes on the matter</p>



<a name="151561902"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20December%2012/near/151561902" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20December.2012.html#151561902">(Dec 12 2018 at 20:40)</a>:</h4>
<p>I think I can work on this</p>



<a name="151561935"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20December%2012/near/151561935" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20December.2012.html#151561935">(Dec 12 2018 at 20:40)</a>:</h4>
<p>or at least, it seems higher priority than anything I spent time on today</p>



<a name="151561954"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20December%2012/near/151561954" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20December.2012.html#151561954">(Dec 12 2018 at 20:40)</a>:</h4>
<p>/me adds self to assignee list for <a href="https://github.com/rust-lang/rust/issues/56254" target="_blank" title="https://github.com/rust-lang/rust/issues/56254">#56254</a></p>



<a name="151561955"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20December%2012/near/151561955" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20December.2012.html#151561955">(Dec 12 2018 at 20:40)</a>:</h4>
<p>aturon and I were discussing how to manage the relationship between working groups and the lang team in general, since I'm not overly happy with it. We had a few ideas, which are probably not worth going into here just yet, at least not in a ton of detail. But one thing that seemed clear was that working groups should probably act independently but prepare thorny questions and try to schedule regular meetings to do an in-depth review (perhaps as part of lang team triage). I guess this is roughly what we've been doing.</p>



<a name="151561973"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20December%2012/near/151561973" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20December.2012.html#151561973">(Dec 12 2018 at 20:40)</a>:</h4>
<p>but I wonder if we can formalize it mildly</p>



<a name="151561980"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20December%2012/near/151561980" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20December.2012.html#151561980">(Dec 12 2018 at 20:41)</a>:</h4>
<p>if nothing else</p>



<a name="151561987"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20December%2012/near/151561987" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20December.2012.html#151561987">(Dec 12 2018 at 20:41)</a>:</h4>
<p>e.g., with some labels.</p>



<a name="151561988"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20December%2012/near/151561988" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20December.2012.html#151561988">(Dec 12 2018 at 20:41)</a>:</h4>
<p>the labelling system is haphazard</p>



<a name="151561991"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20December%2012/near/151561991" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20December.2012.html#151561991">(Dec 12 2018 at 20:41)</a>:</h4>
<p>because I-nominated</p>



<a name="151561994"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20December%2012/near/151561994" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20December.2012.html#151561994">(Dec 12 2018 at 20:41)</a>:</h4>
<p>this seems related to the act of writing out an up-to-date spec</p>



<a name="151561997"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20December%2012/near/151561997" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20December.2012.html#151561997">(Dec 12 2018 at 20:41)</a>:</h4>
<p>yes</p>



<a name="151562000"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20December%2012/near/151562000" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20December.2012.html#151562000">(Dec 12 2018 at 20:41)</a>:</h4>
<p>is interpreted based on which other teams are on the list</p>



<a name="151562001"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20December%2012/near/151562001" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20December.2012.html#151562001">(Dec 12 2018 at 20:41)</a>:</h4>
<p>it's quite ambiguous</p>



<a name="151562005"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20December%2012/near/151562005" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20December.2012.html#151562005">(Dec 12 2018 at 20:41)</a>:</h4>
<p>maybe that's fine</p>



<a name="151562008"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20December%2012/near/151562008" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20December.2012.html#151562008">(Dec 12 2018 at 20:41)</a>:</h4>
<p>in the sense that, when you nominate something</p>



<a name="151562013"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20December%2012/near/151562013" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20December.2012.html#151562013">(Dec 12 2018 at 20:41)</a>:</h4>
<p>you really should write a comment</p>



<a name="151562016"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20December%2012/near/151562016" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20December.2012.html#151562016">(Dec 12 2018 at 20:41)</a>:</h4>
<p>saying which team(s) are targetted</p>



<a name="151562018"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20December%2012/near/151562018" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20December.2012.html#151562018">(Dec 12 2018 at 20:41)</a>:</h4>
<blockquote>
<p>this seems related to the act of writing out an up-to-date spec</p>
</blockquote>
<p>I'm torn about this because some part of me wants to wait for polonius :P but really a lot of it is independent from that</p>



<a name="151562075"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20December%2012/near/151562075" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20December.2012.html#151562075">(Dec 12 2018 at 20:42)</a>:</h4>
<p>I'm sort of curious</p>



<a name="151562079"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20December%2012/near/151562079" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20December.2012.html#151562079">(Dec 12 2018 at 20:42)</a>:</h4>
<p>to hear what's been going on in polonius land</p>



<a name="151562087"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20December%2012/near/151562087" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20December.2012.html#151562087">(Dec 12 2018 at 20:42)</a>:</h4>
<p>I wonder if it would in any way make sense to make a "NLL working group repository" to help with this sort of meta-management.</p>



<a name="151562088"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20December%2012/near/151562088" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20December.2012.html#151562088">(Dec 12 2018 at 20:42)</a>:</h4>
<p>because it sounded like there was much activity there recently?</p>



<a name="151562093"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20December%2012/near/151562093" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20December.2012.html#151562093">(Dec 12 2018 at 20:42)</a>:</h4>
<p>I spent some time on it last week</p>



<a name="151562101"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20December%2012/near/151562101" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20December.2012.html#151562101">(Dec 12 2018 at 20:42)</a>:</h4>
<p>and <span class="user-mention" data-user-id="116113">@lqd</span> a bit I think</p>



<a name="151562110"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20December%2012/near/151562110" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20December.2012.html#151562110">(Dec 12 2018 at 20:42)</a>:</h4>
<p>in part I was merging some of <span class="user-mention" data-user-id="116113">@lqd</span>'s work from long before :)</p>



<a name="151562146"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20December%2012/near/151562146" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20December.2012.html#151562146">(Dec 12 2018 at 20:43)</a>:</h4>
<p>the tl;dr of what I did:</p>
<ul>
<li>fix all the bugs I could find, both in polonius and in the fact generation from borrowck<br>
    - we now pass all the same tests as NLL</li>
<li>land a bunch of performance improvement tweaks</li>
<li>spent some time elaborating on "next steps" for polonius integration, which I need to write down in a more formal way</li>
</ul>



<a name="151562197"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20December%2012/near/151562197" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20December.2012.html#151562197">(Dec 12 2018 at 20:44)</a>:</h4>
<p>I did find some NLL bugs at the same time</p>



<a name="151562203"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20December%2012/near/151562203" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20December.2012.html#151562203">(Dec 12 2018 at 20:44)</a>:</h4>
<p>(that don't affect migration mode)</p>



<a name="151562205"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20December%2012/near/151562205" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20December.2012.html#151562205">(Dec 12 2018 at 20:44)</a>:</h4>
<p>I forget if I filed bugs on those, I should</p>



<a name="151562225"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20December%2012/near/151562225" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20December.2012.html#151562225">(Dec 12 2018 at 20:44)</a>:</h4>
<p>specifically these tests all pass with NLL but I don't think they should:</p>
<ul>
<li>ui/regions/regions-assoc-type-in-supertrait-outlives-container.rs</li>
<li>ui/regions/regions-free-region-ordering-caller.rs</li>
<li>ui/regions/regions-outlives-projection-container-wc.rs</li>
<li>ui/regions/regions-outlives-projection-container-hrtb.rs</li>
</ul>
<p>though I don't remember what's up with that, it might just be user type annotations being ignored or something.</p>



<a name="151562238"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20December%2012/near/151562238" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20December.2012.html#151562238">(Dec 12 2018 at 20:45)</a>:</h4>
<p>(they fail with migration mode though)</p>



<a name="151562255"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20December%2012/near/151562255" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20December.2012.html#151562255">(Dec 12 2018 at 20:45)</a>:</h4>
<p>at least some of them were related to unreachable code, but even when I made the code reachable, the tests still passed.</p>



<a name="151562319"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20December%2012/near/151562319" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20December.2012.html#151562319">(Dec 12 2018 at 20:46)</a>:</h4>
<p>(Looking at one test, this may be due to us missing some WF obligations, I think <span class="user-mention" data-user-id="116107">@davidtwco</span> noticed that we weren't always enforcing them on all paths, maybe that's the problem.)</p>



<a name="151562322"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20December%2012/near/151562322" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20December.2012.html#151562322">(Dec 12 2018 at 20:46)</a>:</h4>
<p>i vaguely remember you talking about them, but we should definitely ensure there are issues filed...</p>



<a name="151562324"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20December%2012/near/151562324" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20December.2012.html#151562324">(Dec 12 2018 at 20:46)</a>:</h4>
<p>anyway, I mostly did this because it was fun and I was at all hands and it was hard to dig into much else</p>



<a name="151562333"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20December%2012/near/151562333" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20December.2012.html#151562333">(Dec 12 2018 at 20:46)</a>:</h4>
<p>though I do think it's a good idea to start making progress on polonius</p>



<a name="151562338"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20December%2012/near/151562338" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20December.2012.html#151562338">(Dec 12 2018 at 20:47)</a>:</h4>
<p>(I'll add a to do list item to file issues)</p>



<a name="151562364"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20December%2012/near/151562364" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> davidtwco <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20December.2012.html#151562364">(Dec 12 2018 at 20:47)</a>:</h4>
<p>I recognize those tests as ones I've changed in my WIP PRs or recent ones.</p>



<a name="151562413"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20December%2012/near/151562413" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20December.2012.html#151562413">(Dec 12 2018 at 20:48)</a>:</h4>
<p>makes sense</p>



<a name="151562427"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20December%2012/near/151562427" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20December.2012.html#151562427">(Dec 12 2018 at 20:48)</a>:</h4>
<p>so <span class="user-mention" data-user-id="116083">@pnkfelix</span> re: 2PB, if you plan to hack on that, I guess one thing we ought to do (perhaps not in this meeting per se) is try to make up some sort of plan :)</p>



<a name="151562450"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20December%2012/near/151562450" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20December.2012.html#151562450">(Dec 12 2018 at 20:49)</a>:</h4>
<p>(I feel like we had some notes on one I've just kind of forgotten what it was)</p>



<a name="151562472"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20December%2012/near/151562472" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20December.2012.html#151562472">(Dec 12 2018 at 20:49)</a>:</h4>
<p>yeah okay</p>



<a name="151562524"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20December%2012/near/151562524" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20December.2012.html#151562524">(Dec 12 2018 at 20:50)</a>:</h4>
<p>my first step is going to be to read the stuff Ralf has written</p>



<a name="151562533"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20December%2012/near/151562533" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20December.2012.html#151562533">(Dec 12 2018 at 20:50)</a>:</h4>
<p>but sure, plans are good.</p>



<a name="151562598"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20December%2012/near/151562598" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20December.2012.html#151562598">(Dec 12 2018 at 20:51)</a>:</h4>
<p>what should I do with what's left of this week?</p>



<a name="151562606"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20December%2012/near/151562606" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20December.2012.html#151562606">(Dec 12 2018 at 20:51)</a>:</h4>
<p>i guess I should check what's assigned to me...</p>



<a name="151562731"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20December%2012/near/151562731" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20December.2012.html#151562731">(Dec 12 2018 at 20:53)</a>:</h4>
<p>I see two bugs assigned to <span class="user-mention" data-user-id="116107">@davidtwco</span> :</p>
<ul>
<li><a href="https://github.com/rust-lang/rust/issues/55401" target="_blank" title="https://github.com/rust-lang/rust/issues/55401">https://github.com/rust-lang/rust/issues/55401</a></li>
<li><a href="https://github.com/rust-lang/rust/issues/55511" target="_blank" title="https://github.com/rust-lang/rust/issues/55511">https://github.com/rust-lang/rust/issues/55511</a></li>
</ul>



<a name="151562744"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20December%2012/near/151562744" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20December.2012.html#151562744">(Dec 12 2018 at 20:53)</a>:</h4>
<p>how are you feeling about those, <span class="user-mention" data-user-id="116107">@davidtwco</span>? maybe one task might be to fix one of those, or perhaps leave some notes / thoughts?</p>



<a name="151562808"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20December%2012/near/151562808" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> davidtwco <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20December.2012.html#151562808">(Dec 12 2018 at 20:54)</a>:</h4>
<p>Fixes for both are included in the other type annotation branch already.</p>



<a name="151562831"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20December%2012/near/151562831" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20December.2012.html#151562831">(Dec 12 2018 at 20:54)</a>:</h4>
<p>do you mean <a href="https://github.com/rust-lang/rust/issues/54943" target="_blank" title="https://github.com/rust-lang/rust/issues/54943">#54943</a>?</p>



<a name="151562847"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20December%2012/near/151562847" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20December.2012.html#151562847">(Dec 12 2018 at 20:55)</a>:</h4>
<p>PR <a href="https://github.com/rust-lang/rust/issues/55937" target="_blank" title="https://github.com/rust-lang/rust/issues/55937">#55937</a> i think</p>



<a name="151562859"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20December%2012/near/151562859" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20December.2012.html#151562859">(Dec 12 2018 at 20:55)</a>:</h4>
<p>I see, ok, awesome</p>



<a name="151562861"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20December%2012/near/151562861" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> davidtwco <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20December.2012.html#151562861">(Dec 12 2018 at 20:55)</a>:</h4>
<p>Yeah. I just added it to that issue's fix. They might not be the approach you want so I'd be happy to change them.</p>



<a name="151562870"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20December%2012/near/151562870" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> davidtwco <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20December.2012.html#151562870">(Dec 12 2018 at 20:55)</a>:</h4>
<p>There is a commit for each of them separate from the rest.</p>



<a name="151562904"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20December%2012/near/151562904" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> davidtwco <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20December.2012.html#151562904">(Dec 12 2018 at 20:55)</a>:</h4>
<p>Only non-ICE/blocked-ish issue I have assigned is <a href="https://github.com/rust-lang/rust/issues/46589" target="_blank" title="https://github.com/rust-lang/rust/issues/46589">#46589</a></p>



<a name="151562935"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20December%2012/near/151562935" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> davidtwco <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20December.2012.html#151562935">(Dec 12 2018 at 20:56)</a>:</h4>
<p>(w/r/t NLL at least)</p>



<a name="151562964"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20December%2012/near/151562964" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20December.2012.html#151562964">(Dec 12 2018 at 20:56)</a>:</h4>
<p>ok, then, it seems sort of like NLL-sound is ... largely under control modulo the 2PB ? I have two issues assigned to me but I think they are fairly low priority</p>



<a name="151562999"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20December%2012/near/151562999" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20December.2012.html#151562999">(Dec 12 2018 at 20:57)</a>:</h4>
<p>yeah, and my current thinking is that <a href="https://github.com/rust-lang/rust/issues/55748" target="_blank" title="https://github.com/rust-lang/rust/issues/55748">#55748</a> can probably be just closed</p>



<a name="151563014"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20December%2012/near/151563014" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20December.2012.html#151563014">(Dec 12 2018 at 20:57)</a>:</h4>
<p>because we can't find a bug there?</p>



<a name="151563016"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20December%2012/near/151563016" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20December.2012.html#151563016">(Dec 12 2018 at 20:57)</a>:</h4>
<p>because everything I've done seems to indicate to me that the hypothetical problem doesn't arise, at least not due to <code>_</code> on its own...</p>



<a name="151563073"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20December%2012/near/151563073" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20December.2012.html#151563073">(Dec 12 2018 at 20:58)</a>:</h4>
<p>so there are an awful lot of A-nll bugs</p>



<a name="151563084"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20December%2012/near/151563084" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20December.2012.html#151563084">(Dec 12 2018 at 20:58)</a>:</h4>
<p>I wonder if we want to have some sort of separate triage process somehow...? or at least a 1-time pass over them or .. something?</p>



<a name="151563087"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20December%2012/near/151563087" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> davidtwco <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20December.2012.html#151563087">(Dec 12 2018 at 20:58)</a>:</h4>
<p>Lots of diagnostic ones in there I think.</p>



<a name="151563088"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20December%2012/near/151563088" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20December.2012.html#151563088">(Dec 12 2018 at 20:58)</a>:</h4>
<p>wow you are right</p>



<a name="151563099"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20December%2012/near/151563099" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20December.2012.html#151563099">(Dec 12 2018 at 20:58)</a>:</h4>
<p>I am reminded of the old triage meeting that brson used to lead</p>



<a name="151563102"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20December%2012/near/151563102" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> davidtwco <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20December.2012.html#151563102">(Dec 12 2018 at 20:58)</a>:</h4>
<p>I've been looking through them every so often to try find new things to take on.</p>



<a name="151563106"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20December%2012/near/151563106" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20December.2012.html#151563106">(Dec 12 2018 at 20:58)</a>:</h4>
<p>which I sometimes miss</p>



<a name="151563124"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20December%2012/near/151563124" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20December.2012.html#151563124">(Dec 12 2018 at 20:59)</a>:</h4>
<p>we've got to re-triage the NLL-deferred stuff</p>



<a name="151563129"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20December%2012/near/151563129" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20December.2012.html#151563129">(Dec 12 2018 at 20:59)</a>:</h4>
<p>yeah, at least that</p>



<a name="151563141"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20December%2012/near/151563141" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20December.2012.html#151563141">(Dec 12 2018 at 20:59)</a>:</h4>
<p>that might be an additional good task for me for this week</p>



<a name="151563159"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20December%2012/near/151563159" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20December.2012.html#151563159">(Dec 12 2018 at 20:59)</a>:</h4>
<p>if you want to do it at some convenient time, I'd be happy to follow along</p>



<a name="151563229"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20December%2012/near/151563229" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20December.2012.html#151563229">(Dec 12 2018 at 21:00)</a>:</h4>
<p>I'll make a dedicated topic for it if nothing else.</p>



<a name="151563235"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20December%2012/near/151563235" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20December.2012.html#151563235">(Dec 12 2018 at 21:00)</a>:</h4>
<p>though that time might be hard to find, not sure =) yeah, at least that</p>



<a name="151563252"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20December%2012/near/151563252" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20December.2012.html#151563252">(Dec 12 2018 at 21:00)</a>:</h4>
<p>(and I'll open an issue for the task right now, to keep myself honest about my promises here)</p>



<a name="151563265"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20December%2012/near/151563265" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> davidtwco <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20December.2012.html#151563265">(Dec 12 2018 at 21:00)</a>:</h4>
<p>(also, I wrote some mentor instructions on two issues this past week, and on one issue a few weeks ago, in case either of you want to check that the instructions are suitable - issue from a few weeks ago already had a PR that I reviewed and landed though)</p>



<a name="151563281"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20December%2012/near/151563281" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20December.2012.html#151563281">(Dec 12 2018 at 21:00)</a>:</h4>
<p>nice!</p>



<a name="151563333"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20December%2012/near/151563333" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20December.2012.html#151563333">(Dec 12 2018 at 21:01)</a>:</h4>
<p>ok well I imagine for the rest of this week i';m mostly going to be working through reviews anyway, but it sounds like it would not be totally unreasonable for me to put a bit more time into polonius then.</p>



<a name="151563339"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20December%2012/near/151563339" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> davidtwco <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20December.2012.html#151563339">(Dec 12 2018 at 21:01)</a>:</h4>
<p><a href="https://github.com/rust-lang/rust/issues/56657" target="_blank" title="https://github.com/rust-lang/rust/issues/56657">#56657</a> and <a href="https://github.com/rust-lang/rust/issues/56654" target="_blank" title="https://github.com/rust-lang/rust/issues/56654">#56654</a></p>



<a name="151563456"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20December%2012/near/151563456" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20December.2012.html#151563456">(Dec 12 2018 at 21:03)</a>:</h4>
<p>okay this all sounds great to me, everyone</p>



<a name="151563460"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20December%2012/near/151563460" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20December.2012.html#151563460">(Dec 12 2018 at 21:03)</a>:</h4>
<p>Now I must go to sleep</p>



<a name="151563462"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20December%2012/near/151563462" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20December.2012.html#151563462">(Dec 12 2018 at 21:03)</a>:</h4>
<p>Bye!</p>



<a name="151563463"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20December%2012/near/151563463" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20December.2012.html#151563463">(Dec 12 2018 at 21:03)</a>:</h4>
<p>nighty night</p>



<a name="151563488"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20December%2012/near/151563488" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20December.2012.html#151563488">(Dec 12 2018 at 21:03)</a>:</h4>
<p>(newborn duty awaits in ~4 or ~5 hours)</p>



<a name="151563491"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20December%2012/near/151563491" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> davidtwco <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20December.2012.html#151563491">(Dec 12 2018 at 21:03)</a>:</h4>
<p>I wonder what we need to do to make Zulip consider the wave emoji a popular one.</p>



<a name="151563502"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20December%2012/near/151563502" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20December.2012.html#151563502">(Dec 12 2018 at 21:03)</a>:</h4>
<p>might be configurable</p>



<a name="151563560"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20December%2012/near/151563560" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20December.2012.html#151563560">(Dec 12 2018 at 21:04)</a>:</h4>
<p>(not obviously)</p>



<a name="151564351"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20December%2012/near/151564351" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Matthew Jasper <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20December.2012.html#151564351">(Dec 12 2018 at 21:17)</a>:</h4>
<blockquote>
<p>I'm not really clear if <span class="user-mention" data-user-id="116118">@Matthew Jasper</span> is working on that (they were before)..?</p>
</blockquote>
<p>I'm not working on 2 PB currently. I'm waiting for there to be a decision on what we want to do about this.</p>



<a name="151564495"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20December%2012/near/151564495" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Keith Yeung <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20December.2012.html#151564495">(Dec 12 2018 at 21:19)</a>:</h4>
<p>open for working on some NLL bugs here</p>



<a name="151564562"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20December%2012/near/151564562" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Keith Yeung <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20December.2012.html#151564562">(Dec 12 2018 at 21:20)</a>:</h4>
<p>perhaps i'll look up <span class="user-mention" data-user-id="116107">@davidtwco</span>'s issues</p>



<a name="151564615"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20December%2012/near/151564615" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> davidtwco <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20December.2012.html#151564615">(Dec 12 2018 at 21:21)</a>:</h4>
<p>I linked them above, <a href="https://github.com/rust-lang/rust/issues/56654" target="_blank" title="https://github.com/rust-lang/rust/issues/56654">#56654</a> is free.</p>



<a name="151564778"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20December%2012/near/151564778" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Keith Yeung <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20December.2012.html#151564778">(Dec 12 2018 at 21:23)</a>:</h4>
<p>should we also have a discussion of how we're going to split up <code>borrow_check/mod.rs</code>?</p>



<a name="151564784"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20December%2012/near/151564784" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Keith Yeung <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20December.2012.html#151564784">(Dec 12 2018 at 21:23)</a>:</h4>
<p>that file is getting unwieldy</p>



<a name="151564956"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/weekly%20meeting%20December%2012/near/151564956" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Keith Yeung <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/weekly.20meeting.20December.2012.html#151564956">(Dec 12 2018 at 21:26)</a>:</h4>
<p>i see a few obvious logical "separations": the two impl blocks for <code>MirBorrowckCtxt</code></p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>